Nuprl Lemma : dset_of_mon_wf2
13,42
postcript
pdf
g
:OMon. (
g
set)
LOSet
latex
Up
groups
1
Definitions of Statement
g
oset
Definitions
g
oset
Lemmas
oset
of
ocmon
wf
origin
g:OMon. (g
set) 
LOSet g:OMon. (gset) LOSet osetoset